New philosophical essays on love by a diverse group of international scholars. Topics include contributions to the ongoing debate on whether love is arational or if there are reasons for love, and if so what kind; the kinds of love there may be ; whether love can explain the difference between nationalism and patriotism; whether love is an necessary component of truly seeing others and the world; whether love, like free will, is “fragile,” and may not survive in a deterministic (...) world; and whether or not love is actually a good thing or may instead be a force opposed to morality. Key philosophers discussed include Immanuel Kant, Iris Murdoch, Bernard Williams, Harry Frankfurt, J. David Velleman, Niko Kolodny, Thomas Hurka, Bennett Helm, Alfred Mele and Derk Pereboom. Essays also touch on the treatment of love in literature and popular culture, from Graham Greene’s The End of the Affair to Spike Jonze’s movie her. (shrink)

I explore the interrelations between the ontological and aesthetic issues raised by ready-mades such as Duchamp’s Fountain. I outline a hylomorphic metaphysics which has two central features. First, hylomorphically complex objects have matter to which they are not identical. Secondly, when such objects are artefacts (including artworks), it is essential to them that they are the products of creative work on their matter. Against this background, I suggest that ready-mades are of aesthetic interest because they pose a dilemma. Is there (...) really an object, a sculpture, that is distinct from its matter, a urinal, which object is created merely by the artist’s choice of the urinal? Or are we dealing with a case in which an artist passes off something, a urinal, as if it were a sculpture, even though it is not one? (shrink)

If science fiction is a genre, then attempts to think about the nature of science fiction will be affected by one’s understanding of what genres are. I shall examine two approaches to genre, one dominant but inadequate, the other better, but only occasionally making itself seen. I shall then discuss several important, interrelated issues, focusing particularly on science fiction : what it is for a work to belong to a genre, the semantics of genre names, the validity of attempts to (...) define genres, and the connections between genre and normativity. One important but neglected clue to the nature of genres lies in the kinds of disagreements they generate over the assignment of works to genres. I conclude by explaining why these disagreements tell us something about the nature of genres, and discussing in some detail two famous cases of disagreement about whether some work or works are science fiction. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

In this article I distinguish the notion of there being something it is like to be a certain kind of creature from that of there being something it is like to have a certain kind of experience. Work on consciousness has typically dealt with the latter while employing the language of the former. I propose several ways of analyzing what it is like to be a certain kind of creature and find problems with them all. The upshot is that even (...) if there is something it is like to have certain kinds of experience, it does not follow that there is anything it is like to be a certain kind of creature. Skepticism about the existence of something that it is like to be an F is recommended. (shrink)

In 1956, W.B. Gallie introduced his idea of essentially contested concepts. In my paper, I offer a novel interpretation of his theory and argue that his theory, thus interpreted, is correct. The key to my interpretation lies in a condition Gallie places on essentially contested concepts that other interpreters downplay or dismiss: that the use of an essentially contested concept must be derived “from an original exemplar whose authority is acknowledged by all the contestant users of the concept.” This reveals (...) a similarity between Gallie’s views and the semantic externalist views of Hilary Putnam, and others, about natural kind terms like “water” and “tiger.” I argue that natural kind terms and terms for essentially contested concepts are two species of a single semantic genus. In the case of natural kind terms, a term refers to a natural kind, the exemplars are instances of that kind, and the relation between the exemplars and anything to which the term applies is co-membership of the kind. In the case of terms for essentially contested concepts, a term refers to an historical tradition, the exemplar is a stage or temporal part of that tradition, and the relation between the exemplar and anything to which the term refers is being the heir of. This allows me to understand the contests that alerted Gallie to the phenomenon of essentially contested concepts as contests over the ownership of historical traditions. (shrink)

A brief examination of the self-negating quality of the precautionary principle within the context of environmental ethics, and its consequent failure, as an ethical guide, to justify large-scale regulation of atmospheric cabon dioxide emissions.

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move beyond the level (...) of controlled vocabularies to yield an ontology with the ability to support reasoning applications. (shrink)

A distorted representation of one's own body is a diagnostic criterion and core psychopathology of both anorexia nervosa (AN) and bulimia nervosa (BN). Despite recent technical advances in research, it is still unknown whether this body image disturbance is characterized by body dissatisfaction and a low ideal weight and/or includes a distorted perception or processing of body size. In this article, we provide an update and meta-analysis of 42 articles summarizing measures and results for body size estimation (BSE) from 926 (...) individuals with AN, 536 individuals with BN and 1920 controls. We replicate findings that individuals with AN and BN overestimate their body size as compared to controls (ES= 0.63). Our meta-regression shows that metric methods (BSE by direct or indirect spatial measures) yield larger effect sizes than depictive methods (BSE by evaluating distorted pictures), and that effect sizes are larger for patients with BN than for patients with AN. To interpret these results, we suggest a revised theoretical framework for BSE that accounts for differences between depictive and metric BSE methods regarding the underlying body representations (conceptual vs. perceptual, implicit vs. explicit). We also discuss clinical implications and argue for the importance of multimethod approaches to investigate body image disturbance. (shrink)

Critical Review of Searle's Minds, Brains and Science.

In this paper, I argue that Kant has a far more communitarian theory of aesthetic life than is usually acknowledged. I focus on two aspects of Kant’s theory that might otherwise be taken to support an individualist reading, namely, Kant’s emphasis on aesthetic autonomy and his characterization of judgments of taste as involving demands for agreement. I argue that the full expression of autonomy in fact requires being a member of an aesthetic community and that within such a community, judgments (...) of taste are issued as invitations to others to engage their faculties towards the goal of shared aesthetic appreciation. (shrink)

According to a number of contemporary theorists, aesthetic reasons can invite or entice us but never compel us. In this paper, I develop a Kantian account of the normative force of aesthetic reasons. While Kant would likely agree that aesthetic reasons do not give rise to obligations, his account nevertheless gives us the resources for explaining how aesthetic reasons can still have more force than merely enticing reasons. This account appeals to the distinct normativity of aesthetic judgments on Kant's theory (...) and the way in which this kind of normativity structures aesthetic exchanges with other judging subjects. I argue that, in addition to the moral reasons we have for appreciating and preserving beauty, Kant’s account can accommodate distinctly aesthetic reasons for doing so that stem from our membership in aesthetic communities. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical (...) equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

We develop and apply a multi-dimensional account of explanatory depth towards a comparative analysis of inflationary and bouncing paradigms in primordial cosmology. Our analysis builds on earlier work due to Azhar and Loeb (2021) that establishes initial conditions fine-tuning as a dimension of explanatory depth relevant to debates in contemporary cosmology. We propose dynamical fine-tuning and autonomy as two further dimensions of depth in the context of problems with instability and trans-Planckian modes that afflict bouncing and inflationary approaches respectively. In (...) the context of the latter issue, we argue that the recently formulated trans-Planckian censorship conjecture leads to a trade-off for inflationary models between dynamical fine-tuning and autonomy. We conclude with the suggestion that explanatory preference with regard to the different dimensions of depth is best understood in terms of differing attitudes towards heuristics for future model building. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

It is now well-known that Newton–Cartan theory is the correct geometrical setting for modelling the quantum Hall effect. In addition, in recent years edge modes for the Newton–Cartan quantum Hall effect have been derived. However, the existence of these edge modes has, as of yet, been derived using only orthodox methodologies involving the breaking of gauge-invariance; it would be preferable to derive the existence of such edge modes in a gauge-invariant manner. In this article, we employ recent work by Donnelly (...) and Freidel in order to accomplish exactly this task. Our results agree with known physics, but afford greater conceptual insight into the existence of these edge modes: in particular, they connect them to subtle aspects of Newton–Cartan geometry and pave the way for further applications of Newton–Cartan theory in condensed matter physics. (shrink)

In this paper, I examine the role of attention in Kant’s aesthetic theory in the Critique of the Power of Judgment. While broadly Kantian aestheticians have defended the claim that there is a distinct way that we attend to objects in aesthetic experience, Kant himself is not usually acknowledged as offering an account of aesthetic attention. On the basis of Kant’s more general account of attention in other texts and his remarks on attention in the Critique of the Power of (...) Judgment, I reconstruct Kant’s account of aesthetic attention. On this account, aesthetic attention is simultaneously directed at the form of an object and at the judging subject’s own mental states as she attends to the object. In the experience of beauty, we specifically attend to the harmonious relation between the faculties of imagination and understanding. (shrink)

The harmonious free play of the imagination and understanding is at the heart of Kant’s account of beauty in the Critique of the Power of Judgement, but interpreters have long struggled to determine what Kant means when he claims the faculties are in a state of free play. In this article, I develop an interpretation of the free play of the faculties in terms of the freedom of attention. By appealing to the different way that we attend to objects in (...) aesthetic experience, we can explain how the faculties are free, even when the subject already possesses a concept of the object and is bound to the determinate form of the object in perception. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Why should we be means-end rational? Why care whether someone’s mental states exhibit certain formal patterns, like the ones formalized in causal decision theory? This paper establishes a dominance argument for these constraints in a finite setting. If you violate the norms of causal decision theory, then your desires will be aptness dominated. That is, there will be some alternative set of desires that you could have had, which would be more apt (closer to the actual values fixed by your (...) sensibility/ what you intrinsically care about) no matter which world is actual. If we care about having apt desires, then, we should never let ourselves violate these norms of means-end rationality. This argument shares a form with now-standard accuracy arguments for probabilism, opening up a new terrain for that discussion. I show that the foundational assumptions about the shape of accuracy and of aptness required to run the arguments for means-end rationality and for probabilism run closely parallel. I show the argument is robust under different theories of subjective actual value, including nonclassical treatments of indeterminacy in actual value; I show the argument may (but need not!) be generalized to objective theories of value. The upshot is that aptness-domination arguments for decision theories should be added to the philosophical playbook. (shrink)

Recently, a version of realism has been offered to address the simplification strategies used in computational neuroscience. According to this view, computational models provide us with knowledge about the brain, but they should not be taken literally in _any_ sense, even rejecting the idea that the brain performs computations (computationalism). I acknowledge the need for considerations regarding simplification strategies in neuroscience and how they contribute to our interpretations of computational models; however, I argue that whether we should accept or reject (...) computationalism about the brain is a separate issue that can be addressed independently by a philosophical theory of physical computation. This takes seriously the idea that the brain performs computations while also taking an analogical stance toward computational models in neuroscience. I call this version of realism “Analogical Computational Realism.” Analogical Computational Realism is a realist view in virtue of being committed to computationalism while taking certain computational models to pick out real patterns that provide a how-possibly explanation without also thinking that the model is literally implemented in the brain. (shrink)

Many accounts of structural rationality give a special role to logic. This paper reviews the problem case of clear-eyed logical uncertainty. An account of rational norms on belief that does not give a special role to logic is developed: doxastic probabilism.

The question of the cognitive role of fictionality is this: what is the correct cognitive attitude to take to p, when it is fictional that p? We began by considering one answer to this question, implicit in the work of Kendall Walton, that the correct response to a fictional proposition is to imagine that proposition. However, this approach is silent in cases of fictional incompleteness, where neither p nor its negation are fictional. We argue that that Waltonians should embrace a (...) pluralistic account of the cognitive role of fictional incompleteness: in some cases of fictional incompleteness, we are permitted to resolve the incompleteness during our engagement with the target fiction, and in other cases, we are obliged not to resolve the incompleteness. But though pluralism is accommodated by Walton’s wider account of fictionality, it puts tension on his motivating idea that fictionality stands to the imagination as truth stands to belief. And so we develop a rival conception of the cognitive role of fictionality that is built around a different analogy: on this evidentialist approach, (known) fictionality stands to the imagination as evidence stands to credence. (shrink)

In this paper, I propose a novel interpretation of the role of the understanding in generating the unity of space and time. On the account I propose, we must distinguish between the unity that belongs to determinate spaces and times – which is a result of category-guided synthesis and which is Kant’s primary focus in §26 of the B-Deduction, including the famous B160–1n – and the unity that belongs to space and time themselves as all-encompassing structures. Non-conceptualist readers of Kant (...) have argued that this latter unity cannot be the product of categorial synthesis. While they are correct that this unity is not the product of any particular act of category-guided synthesis, I argue that conceptualists are right to nevertheless attribute this unity to the understanding. I argue that it is a result of what we can think of as the ‘original’ synthesis of understanding and sensibility themselves – it is a synthesis, moreover, in which the whole is logically prior to the parts. (shrink)

In the Critique of Judgment, Kant claims that genius is a talent for art, but not for science. Despite his restriction of genius to the domain of fine art, several recent interpreters have suggested that genius has a role to play in Kant’s account of cognition in general and scientific practice in particular. In this paper, I explore Kant’s reasons for excluding genius from science as well as the reasons that one might nevertheless be tempted to think that his account (...) allows room for the scientific genius. I then argue that Kant’s concerns are not only epistemic, but also moral, and together, they give us good reason for resisting the veneration of genius. (shrink)

While Kant was arguably as deeply engaged with the emerging special sciences of his time as he was with Newtonian physics, there is a deep tension in his treatment of these disciplines. On the one hand, Kant endorses a reductionist approach in natural science. On the other hand, Kant is committed to a variety of anti-reductionist positions in empirical psychology, chemistry, and the emerging biological sciences. This chapter examines the precise form that Kant’s anti-reductionism takes in each of these domains (...) and the corresponding set of questions about the extent to which each of these constitutes a genuine science for Kant. (shrink)

Inscrutability arguments threaten to reduce interpretationist metasemantic theories to absurdity. Can we find some way to block the arguments? A highly influential proposal in this regard is David Lewis’ ‘ eligibility ’ response: some theories are better than others, not because they fit the data better, but because they are framed in terms of more natural properties. The purposes of this paper are to outline the nature of the eligibility proposal, making the case that it is not ad hoc, but (...) instead flows naturally from three independently motivated elements; and to show that severe limitations afflict the proposal. In conclusion, I pick out the element of the eligibility response that is responsible for the limitations: future work in this area should therefore concentrate on amending this aspect of the overall theory. (shrink)

This essay examines the role of non-existent objects in "epistemological ontology"--the study of the entities that make thinking possible. An earlier revision of Meinong's Theory of Objects is reviewed, Meinong's notions of Quasisein and Aussersein are discussed, and a theory of Meinongian objects as "combinatorially possible" entities is presented.

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

The authors argue that their target is orthogonal to the realism and instrumentalist debate. I argue that it is born directly from it. While the distinction is helpful in illuminating how some ontological commitments demand a theory of implementation, it's less clear whether different views cleanly map onto the epistemic and metaphysical uses defined in the paper.

The concept of moral wrongness, many think, has a distinctive kind of referential stability, brought out by moral twin earth cases. This article offers a new account of the source of this stability, deriving it from a metaphysics of content: “substantive” radical interpretation, and first-order normative assumptions. This story is distinguished from extant “reference magnetic” explanations of the phenomenon, and objections and replies are considered.

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (shrink)

I outline and motivate a way of implementing a closest world theory of indicatives, appealing to Stalnaker's framework of open conversational possibilities. Stalnakerian conversational dynamics helps us resolve two outstanding puzzles for a such a theory of indicative conditionals. The first puzzle -- concerning so-called 'reverse Sobel sequences' -- can be resolved by conversation dynamics in a theoryneutral way: the explanation works as much for Lewisian counterfactuals as for the account of indicatives developed here. Resolving the second puzzle, by contrast, (...) relies on the interplay between the particular theory of indicative conditionals developed here and Stalnakerian dynamics. The upshot is an attractive resolution of the so-called "Gibbard phenomenon" for indicative conditionals. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

John Searle once said: "The Chinese room shows what we knew all along: syntax by itself is not sufficient for semantics. (Does anyone actually deny this point, I mean straight out? Is anyone actually willing to say, straight out, that they think that syntax, in the sense of formal symbols, is really the same as semantic content, in the sense of meanings, thought contents, understanding, etc.?)." I say: "Yes". Stuart C. Shapiro has said: "Does that make any sense? Yes: Everything (...) makes sense. The question is: What sense does it make?" This essay explores what sense it makes to say that syntax by itself is sufficient for semantics. (shrink)

Some argue that theories of universals should incorporate structural universals, in order to allow for the metaphysical possibility of worlds of 'infinite descending complexity' ('onion worlds'). I argue that the possibility of such worlds does not establish the need for structural universals. So long as we admit the metaphysical possibility of emergent universals, there is an attractive alternative description of such cases.

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines (...) a dutch book, but we only have a partial converse. (shrink)

There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

This is the introduction to Seeing Wittgenstein Anew, eds. William Day & Victor J. Krebs (Cambridge UP, 2010), a collection of essays on Ludwig Wittgenstein's remarks on aspect-seeing. Section 1: Why Seeing Aspects Now?; Section 2: The Importance of Seeing Aspects; Section 3: The Essays. (The front matter to Seeing Wittgenstein Anew appears above under "Books.").

Lewis (1973) gave a short argument against conditional excluded middle, based on his treatment of ‘might’ counterfactuals. Bennett (2003), with much of the recent literature, gives an alternative take on ‘might’ counterfactuals. But Bennett claims the might-argument against CEM still goes through. This turns on a specific claim I call Bennett’s Hypothesis. I argue that independently of issues to do with the proper analysis of might-counterfactuals, Bennett’s Hypothesis is inconsistent with CEM. But Bennett’s Hypothesis is independently objectionable, so we should (...) resolve this tension by dropping the Hypothesis, not by dropping CEM. (shrink)

In this reply to James H. Fetzer’s “Minds and Machines: Limits to Simulations of Thought and Action”, I argue that computationalism should not be the view that (human) cognition is computation, but that it should be the view that cognition (simpliciter) is computable. It follows that computationalism can be true even if (human) cognition is not the result of computations in the brain. I also argue that, if semiotic systems are systems that interpret signs, then both humans and computers are (...) semiotic systems. Finally, I suggest that minds can be considered as virtual machines implemented in certain semiotic systems, primarily the brain, but also AI computers. In doing so, I take issue with Fetzer’s arguments to the contrary. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.

The Physical Signature of Computation is the most “robust” mapping view that’s ever hit the market. It is impressive in its detail and the careful attention paid to its characterization of both the physical system and the formal computational description—a true service to the philosophical literature. The book promises a “unified account of artifact and biological computation,” but here’s where things take a turn: after handling artifacts, the Robust Mapping Account fades from view and the Mechanistic Account of Physical Computation (...) (in its neurocognitive form) emerges as the way to capture biological computation. To have a unified account, then, requires two distinct approaches to understanding the nature of physical computation. This raises questions about whether the Robust Mapping Account can be extended to neural computation, but most importantly, questions about the compatibly of these two views is questionable given the history of the Mechanistic Account and its underpinning framework. (shrink)

Change blindness is the striking failure to see large changes that normally would be noticed easily. Over the past decade this phenomenon has greatly contributed to our understanding of attention, perception, and even consciousness. The surprising extent of change blindness explains its broad appeal, but its counterintuitive nature has also engendered confusions about the kinds of inferences that legitimately follow from it. Here we discuss the legitimate and the erroneous inferences that have been drawn, and offer a set of requirements (...) to help separate them. In doing so, we clarify the genuine contributions of change blindness research to our understanding of visual perception and awareness, and provide a glimpse of some ways in which change blindness might shape future research. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)